Listar por autor 

Listar por autor "Cordón Franco, Andrés"                

Mostrando ítems 1-20 de 37

    • Artículo
      Icon

      A colouring protocol for the generalized Russian cards problem 

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Elsevier, 2013)
      In the generalized Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of size a ...
    • Artículo
      Icon

      A geometric protocol for cryptography with cards 

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Springer, 2015)
      In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from ...
    • Artículo
      Icon

      A Note on Complexity Measures for Probabilistic P Systems 

      Cordón Franco, Andrés; Sancho Caparrini, Fernando (J.UCS.org, 2004)
      In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in ...
    • Artículo
      Icon

      A note on parameter free Π1-induction and restricted exponentiation 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2011)
      We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems ...
    • Artículo
      Icon

      A Note on Σ₁-Maximal Models 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Association for Symbolic Logic, 2007)
      Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of ...
    • Artículo
      Icon

      A Prolog Simulator for Deterministic P Systems with Active Membranes 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2004)
      In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ...
    • Artículo
      Icon

      A secure additive protocol for card players 

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (University of Queensland, 2012)
      Consider three players Alice, Bob and Cath who hold a, b and c cards, respectively, from a deck of d=a+b+c cards. The cards ...
    • Ponencia
      Icon

      Approximating Non-discrete P Systems 

      Cordón Franco, Andrés; Sancho Caparrini, Fernando (Springer, 2004)
      The main goal of this paper is to propose some geometric approaches to the computations of non-discrete P systems. The ...
    • Trabajo Fin de Grado
      Icon

      Aspectos matemáticos de la semántica de los programas lógicos normales 

      López Palmero, María (2020)
      El presente trabajo se enmarca en el campo de la Programación Lógica y, más concretamente, en el estudio de la semántica ...
    • Trabajo Fin de Grado
      Icon

      El Axioma de Determinación 

      Ferre Luque, Antonio (2020)
      The aim of this work is to study the consequences of assuming the axiom of determinacy regarding perfect set property, ...
    • Capítulo de Libro
      Icon

      Cellular solutions to some numerical NP-complete problems: A prolog implementation 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Idea Group Inc., 2005)
      This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, ...
    • Artículo
      Icon

      Dynamic consequence and public announcement 

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Nepomuceno Fernández, Ángel (Cambridge University Press, 2013)
    • Trabajo Fin de Grado
      Icon

      Eliminación de cuantificadores para cuerpos algebraicamente cerrados y cuerpos reales cerrados 

      Ruiz Cardoso, Antonio Miguel (2022-06-22)
      El proyecto tiene como objetivo estudiar la Teor´ıa de Modelos de los cuerpos algebraicamente cerrados y los cuerpos reales ...
    • Artículo
      Icon

      Envelopes, indicators and conservativeness 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2006)
      A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic ...
    • Artículo
      Icon

      Existentially Closed Models and Conservation Results in Bounded Arithmetic 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Oxford Academic, 2009)
      We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based ...
    • Artículo
      Icon

      Existentially Closed Models in the Framework of Arithmetic 

      Adamowicz, Zofia; Cordón Franco, Andrés; Lara Martín, Francisco Félix (The Association for Symbolic Logic, 2016)
      We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. ...
    • Capítulo de Libro
      Icon

      Exploring Computation Trees Associated with P Systems 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005)
      Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ...
    • Tesis Doctoral
      Icon

      Extensiones de fragmentos de la Aritmética 

      Cordón Franco, Andrés (2003)
      El presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, ...
    • Artículo
      Icon

      Fragments of Arithmetic and true sentences 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2005)
      By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the ¦n+1–sentences true in the standard model is ...
    • Trabajo Fin de Grado
      Icon

      Fundamentos lógicos de la Inteligencia Artificial: razonamiento no monótono 

      Darche, Arnaud (2019-09)
      La lógica tradicional resulta muy útil para formalizar razonamientos matemáticos: teoremas, definiciones... en los que se ...